（来源：上观新闻）
开发应用时，我🌜们脑子里有这🇲🇽些大方🇸🇨向，再加👨👧📔上工程师们平时🈯随手做的各🙉😮种原型🍎🇱🇹：“我想要一个🐡这样的应用”🏋🇵🇸。前几天爆火🔦密臂在线观看免费版的Happ😯🎃yHors🇸🇱e-1🏎.0（快乐马），🥠✍出自淘天⛑集团未来生活实验🐦🤡室，而Qwen🇲🇹🇾🇪团队同🚬样有文生图模型Q☣🏨wen-ima🦹♀️🔶ge，通义实🥢🇨🇲验室也有通义万🚦相（主要🛴🕜做多模态生成）😻，业务🎄线重合度🥂很高🌵⛴。
非但不想让手机功📞😖能太过🧖♀️强大，反倒希望🥫你的手机啥也👀💮干不了😏🥡。图丨从左至⛪右分别是：王肇国🧙♀️、陈海波和丁浩然⛏👩⚖️（来源：受访者😨） 跳出“将错就✉🚈错”：A🥙🇹🇩I 开始从需求验❌🕒证代码 那📩🤙么，FM-Ag🍢ent🇻🇮🇲🇫 是如🐓♍何将形🧮🐒式化方😳🇭🇲法用于大👼☺规模系统的？要👨🎤理解这个问📘题，我🍚们得先回溯到图🔔👨🦰灵奖得6️⃣主托尼·霍尔（🖕🤯Tony Ho🧐are）早🇹🇱在 2🕟🎍0 世纪 ⚔60 年代为代码⏫验证指明的🐢方向——组合🐍式推理（Comp🤔ositio🌦nal Rea😏⭐sonin🐈🍔g）😷。
"你可以主动做错🧓决定，↩🕖也可以抵制正确🧞♀️的决定💟。Anthr🇵🇪👨🔧opic的Cla🐉ude 🍽🇲🇸Code，20👩🦱♏25年🗽5月正🚰🏮式公开发布🤓，11月做到1⛎0亿美元年化，🕜🦈2026年2月冲🧿😧到25亿美元🚝📳。为了解决🇮🇸🇳🇨这一问题，FM🇧🇾-Agent 🎾🙍♂️提出了新方法：🔁⛅既然函数🙎🇧🇦自己的实现可🙀能会骗人，那就🇬🇲◽去问函数的🇬🇶☁“上级”——🚲🇹🇰那些调用它的🌜函数🖖。
